Sudoku: prove/Miden (History)
|
|
Additional Statistics:
| Lower bound | Estimate | Upper bound | |
|---|---|---|---|
| R² | 0.0371551 | 0.0441886 | 0.0376385 |
| Mean | 476.19 ms | 477.41 ms | 478.59 ms |
| Std. Dev. | 2.1162 ms | 2.8249 ms | 3.0551 ms |
| Median | 474.00 ms | 478.86 ms | 479.46 ms |
| MAD | 525.20 µs | 1.3836 ms | 4.2697 ms |
Understanding this report:
The plot on the left displays the average time per iteration for this benchmark. The shaded region shows the estimated probabilty of an iteration taking a certain amount of time, while the line shows the mean. Click on the plot for a larger view showing the outliers.
The plot on the right shows the average time per iteration for the samples. Each point represents one sample.
See the documentation for more details on the additional statistics.